3.1.98 \(\int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx\) [98]

3.1.98.1 Optimal result
3.1.98.2 Mathematica [A] (verified)
3.1.98.3 Rubi [A] (verified)
3.1.98.4 Maple [A] (verified)
3.1.98.5 Fricas [F]
3.1.98.6 Sympy [F]
3.1.98.7 Maxima [A] (verification not implemented)
3.1.98.8 Giac [F]
3.1.98.9 Mupad [F(-1)]

3.1.98.1 Optimal result

Integrand size = 30, antiderivative size = 100 \[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=-\frac {2 a^2 \tan (e+f x)}{f \sqrt {a+a \sec (e+f x)} (c-c \sec (e+f x))^{3/2}}+\frac {a^2 \log (1-\cos (e+f x)) \tan (e+f x)}{c f \sqrt {a+a \sec (e+f x)} \sqrt {c-c \sec (e+f x)}} \]

output
-2*a^2*tan(f*x+e)/f/(c-c*sec(f*x+e))^(3/2)/(a+a*sec(f*x+e))^(1/2)+a^2*ln(1 
-cos(f*x+e))*tan(f*x+e)/c/f/(a+a*sec(f*x+e))^(1/2)/(c-c*sec(f*x+e))^(1/2)
 
3.1.98.2 Mathematica [A] (verified)

Time = 0.75 (sec) , antiderivative size = 76, normalized size of antiderivative = 0.76 \[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\frac {a^2 \left (\log (\cos (e+f x))+\log (1-\sec (e+f x))+\frac {2}{-1+\sec (e+f x)}\right ) \tan (e+f x)}{c f \sqrt {a (1+\sec (e+f x))} \sqrt {c-c \sec (e+f x)}} \]

input
Integrate[(a + a*Sec[e + f*x])^(3/2)/(c - c*Sec[e + f*x])^(3/2),x]
 
output
(a^2*(Log[Cos[e + f*x]] + Log[1 - Sec[e + f*x]] + 2/(-1 + Sec[e + f*x]))*T 
an[e + f*x])/(c*f*Sqrt[a*(1 + Sec[e + f*x])]*Sqrt[c - c*Sec[e + f*x]])
 
3.1.98.3 Rubi [A] (verified)

Time = 0.46 (sec) , antiderivative size = 100, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {3042, 4396, 3042, 4399, 16}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(a \sec (e+f x)+a)^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {\left (a \csc \left (e+f x+\frac {\pi }{2}\right )+a\right )^{3/2}}{\left (c-c \csc \left (e+f x+\frac {\pi }{2}\right )\right )^{3/2}}dx\)

\(\Big \downarrow \) 4396

\(\displaystyle \frac {a \int \frac {\sqrt {\sec (e+f x) a+a}}{\sqrt {c-c \sec (e+f x)}}dx}{c}-\frac {2 a^2 \tan (e+f x)}{f \sqrt {a \sec (e+f x)+a} (c-c \sec (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {a \int \frac {\sqrt {\csc \left (e+f x+\frac {\pi }{2}\right ) a+a}}{\sqrt {c-c \csc \left (e+f x+\frac {\pi }{2}\right )}}dx}{c}-\frac {2 a^2 \tan (e+f x)}{f \sqrt {a \sec (e+f x)+a} (c-c \sec (e+f x))^{3/2}}\)

\(\Big \downarrow \) 4399

\(\displaystyle \frac {a^2 \tan (e+f x) \int \frac {1}{c \cos (e+f x)-c}d\cos (e+f x)}{f \sqrt {a \sec (e+f x)+a} \sqrt {c-c \sec (e+f x)}}-\frac {2 a^2 \tan (e+f x)}{f \sqrt {a \sec (e+f x)+a} (c-c \sec (e+f x))^{3/2}}\)

\(\Big \downarrow \) 16

\(\displaystyle \frac {a^2 \tan (e+f x) \log (1-\cos (e+f x))}{c f \sqrt {a \sec (e+f x)+a} \sqrt {c-c \sec (e+f x)}}-\frac {2 a^2 \tan (e+f x)}{f \sqrt {a \sec (e+f x)+a} (c-c \sec (e+f x))^{3/2}}\)

input
Int[(a + a*Sec[e + f*x])^(3/2)/(c - c*Sec[e + f*x])^(3/2),x]
 
output
(-2*a^2*Tan[e + f*x])/(f*Sqrt[a + a*Sec[e + f*x]]*(c - c*Sec[e + f*x])^(3/ 
2)) + (a^2*Log[1 - Cos[e + f*x]]*Tan[e + f*x])/(c*f*Sqrt[a + a*Sec[e + f*x 
]]*Sqrt[c - c*Sec[e + f*x]])
 

3.1.98.3.1 Defintions of rubi rules used

rule 16
Int[(c_.)/((a_.) + (b_.)*(x_)), x_Symbol] :> Simp[c*(Log[RemoveContent[a + 
b*x, x]]/b), x] /; FreeQ[{a, b, c}, x]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 4396
Int[(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_))^(3/2)*(csc[(e_.) + (f_.)*(x_)]*( 
d_.) + (c_))^(n_.), x_Symbol] :> Simp[-4*a^2*Cot[e + f*x]*((c + d*Csc[e + f 
*x])^n/(f*(2*n + 1)*Sqrt[a + b*Csc[e + f*x]])), x] + Simp[a/c   Int[Sqrt[a 
+ b*Csc[e + f*x]]*(c + d*Csc[e + f*x])^(n + 1), x], x] /; FreeQ[{a, b, c, d 
, e, f}, x] && EqQ[b*c + a*d, 0] && EqQ[a^2 - b^2, 0] && LtQ[n, -2^(-1)]
 

rule 4399
Int[(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_))^(m_)*(csc[(e_.) + (f_.)*(x_)]*(d 
_.) + (c_))^(n_), x_Symbol] :> Simp[(-a)*c*(Cot[e + f*x]/(f*Sqrt[a + b*Csc[ 
e + f*x]]*Sqrt[c + d*Csc[e + f*x]]))   Subst[Int[(b + a*x)^(m - 1/2)*((d + 
c*x)^(n - 1/2)/x^(m + n)), x], x, Sin[e + f*x]], x] /; FreeQ[{a, b, c, d, e 
, f}, x] && EqQ[b*c + a*d, 0] && EqQ[a^2 - b^2, 0] && IntegerQ[m - 1/2] && 
EqQ[m + n, 0]
 
3.1.98.4 Maple [A] (verified)

Time = 2.11 (sec) , antiderivative size = 145, normalized size of antiderivative = 1.45

method result size
default \(\frac {a \left (\cos \left (f x +e \right ) \ln \left (\frac {2}{\cos \left (f x +e \right )+1}\right )-2 \cos \left (f x +e \right ) \ln \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )-\ln \left (\frac {2}{\cos \left (f x +e \right )+1}\right )+2 \ln \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+\cos \left (f x +e \right )+1\right ) \sqrt {a \left (\sec \left (f x +e \right )+1\right )}\, \tan \left (f x +e \right )}{f \sqrt {-c \left (\sec \left (f x +e \right )-1\right )}\, c \left (\sec \left (f x +e \right )-1\right ) \left (\cos \left (f x +e \right )+1\right )}\) \(145\)
risch \(-\frac {a \sqrt {\frac {a \left ({\mathrm e}^{i \left (f x +e \right )}+1\right )^{2}}{1+{\mathrm e}^{2 i \left (f x +e \right )}}}\, \left (2 i {\mathrm e}^{2 i \left (f x +e \right )} \ln \left ({\mathrm e}^{i \left (f x +e \right )}-1\right )+{\mathrm e}^{2 i \left (f x +e \right )} f x -4 i {\mathrm e}^{i \left (f x +e \right )} \ln \left ({\mathrm e}^{i \left (f x +e \right )}-1\right )+2 \,{\mathrm e}^{2 i \left (f x +e \right )} e -2 \,{\mathrm e}^{i \left (f x +e \right )} f x -4 i {\mathrm e}^{i \left (f x +e \right )}+2 i \ln \left ({\mathrm e}^{i \left (f x +e \right )}-1\right )-4 \,{\mathrm e}^{i \left (f x +e \right )} e +f x +2 e \right )}{c \left ({\mathrm e}^{i \left (f x +e \right )}+1\right ) \left ({\mathrm e}^{i \left (f x +e \right )}-1\right ) \sqrt {\frac {c \left ({\mathrm e}^{i \left (f x +e \right )}-1\right )^{2}}{1+{\mathrm e}^{2 i \left (f x +e \right )}}}\, f}\) \(227\)

input
int((a+a*sec(f*x+e))^(3/2)/(c-c*sec(f*x+e))^(3/2),x,method=_RETURNVERBOSE)
 
output
1/f*a*(cos(f*x+e)*ln(2/(cos(f*x+e)+1))-2*cos(f*x+e)*ln(-cot(f*x+e)+csc(f*x 
+e))-ln(2/(cos(f*x+e)+1))+2*ln(-cot(f*x+e)+csc(f*x+e))+cos(f*x+e)+1)*(a*(s 
ec(f*x+e)+1))^(1/2)/(-c*(sec(f*x+e)-1))^(1/2)/c/(sec(f*x+e)-1)/(cos(f*x+e) 
+1)*tan(f*x+e)
 
3.1.98.5 Fricas [F]

\[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\int { \frac {{\left (a \sec \left (f x + e\right ) + a\right )}^{\frac {3}{2}}}{{\left (-c \sec \left (f x + e\right ) + c\right )}^{\frac {3}{2}}} \,d x } \]

input
integrate((a+a*sec(f*x+e))^(3/2)/(c-c*sec(f*x+e))^(3/2),x, algorithm="fric 
as")
 
output
integral((a*sec(f*x + e) + a)^(3/2)*sqrt(-c*sec(f*x + e) + c)/(c^2*sec(f*x 
 + e)^2 - 2*c^2*sec(f*x + e) + c^2), x)
 
3.1.98.6 Sympy [F]

\[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\int \frac {\left (a \left (\sec {\left (e + f x \right )} + 1\right )\right )^{\frac {3}{2}}}{\left (- c \left (\sec {\left (e + f x \right )} - 1\right )\right )^{\frac {3}{2}}}\, dx \]

input
integrate((a+a*sec(f*x+e))**(3/2)/(c-c*sec(f*x+e))**(3/2),x)
 
output
Integral((a*(sec(e + f*x) + 1))**(3/2)/(-c*(sec(e + f*x) - 1))**(3/2), x)
 
3.1.98.7 Maxima [A] (verification not implemented)

Time = 0.32 (sec) , antiderivative size = 95, normalized size of antiderivative = 0.95 \[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\frac {\frac {2 \, \sqrt {-a} a \log \left (\frac {\sin \left (f x + e\right )}{\cos \left (f x + e\right ) + 1}\right )}{c^{\frac {3}{2}}} - \frac {\sqrt {-a} a \log \left (\frac {\sin \left (f x + e\right )^{2}}{{\left (\cos \left (f x + e\right ) + 1\right )}^{2}} + 1\right )}{c^{\frac {3}{2}}} + \frac {\sqrt {-a} a {\left (\cos \left (f x + e\right ) + 1\right )}^{2}}{c^{\frac {3}{2}} \sin \left (f x + e\right )^{2}}}{f} \]

input
integrate((a+a*sec(f*x+e))^(3/2)/(c-c*sec(f*x+e))^(3/2),x, algorithm="maxi 
ma")
 
output
(2*sqrt(-a)*a*log(sin(f*x + e)/(cos(f*x + e) + 1))/c^(3/2) - sqrt(-a)*a*lo 
g(sin(f*x + e)^2/(cos(f*x + e) + 1)^2 + 1)/c^(3/2) + sqrt(-a)*a*(cos(f*x + 
 e) + 1)^2/(c^(3/2)*sin(f*x + e)^2))/f
 
3.1.98.8 Giac [F]

\[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\int { \frac {{\left (a \sec \left (f x + e\right ) + a\right )}^{\frac {3}{2}}}{{\left (-c \sec \left (f x + e\right ) + c\right )}^{\frac {3}{2}}} \,d x } \]

input
integrate((a+a*sec(f*x+e))^(3/2)/(c-c*sec(f*x+e))^(3/2),x, algorithm="giac 
")
 
output
sage0*x
 
3.1.98.9 Mupad [F(-1)]

Timed out. \[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^{3/2}} \, dx=\int \frac {{\left (a+\frac {a}{\cos \left (e+f\,x\right )}\right )}^{3/2}}{{\left (c-\frac {c}{\cos \left (e+f\,x\right )}\right )}^{3/2}} \,d x \]

input
int((a + a/cos(e + f*x))^(3/2)/(c - c/cos(e + f*x))^(3/2),x)
 
output
int((a + a/cos(e + f*x))^(3/2)/(c - c/cos(e + f*x))^(3/2), x)